21. Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
پدیدآورنده : Mandayam Srivas, Albert Camilleri, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1166
22. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
پدیدآورنده : Ganesh Gopalakrishnan, Philip Windley )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1522
23. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
پدیدآورنده : M. Leeser, G. Brown, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
24. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
25. 1993 IEEE/ACM International Conference on Computer-Aided Design ; Digest of Technical Papers : November 7-11, 1993, Santa Clara, California
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Integrated circuits - Design and construction - Data processing - Congresses , Computer-aided design - Congresses , Integrated circuits - Congresses , Computers - Congresses , Electronic circuit design - Congresses
رده :
TK
7874
.
I3235
1993
26. IEEE Alessandro Volta Memorial Workshop on Low-Power Design: proceedings : March 4-5, 1999, Como, Italy
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Low voltage integrated circuits-- Design and construction,Congresses ، Volta, Alessandro, 5471-7281
رده :
TK
7874
.
66
.
I34
1999
27. ISPD'11 : Proceedings of the 2011 ACM/SIGDA International Symposium on Physical Design, March 27-30, 2011, Santa Barbara, California, USA
پدیدآورنده : sponsored by : ACM SIGDA; technical co-sponsored by : CAS; supported by : ATopTech...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Integrated circuits -- Very large scale integration,Design and construction -- Congresses ، Integrated circuits
رده :
TK
7874
.
75
.
I57
2011
28. Integrated circuits:chemical and physical processing
پدیدآورنده : / Pieter stroeve,editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits-very Large scale integration-Design and construction congresses
رده :
TK7874
.
I5462
1985
29. Integrated circuits: chemical and physical processing: developed from the winter symposium
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction
رده :
TK
7874
.
I5462
1985
30. Introduction to Microelectronic fabrication
پدیدآورنده : Jaeger, Richard C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Very large scale integrated - Design and construction - Congresses ، Integrated circuits
رده :
TK
7874
.
J33
1988
31. Introduction to microelectronic fabrication
پدیدآورنده : Richard C. Jaeger
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Integrated circuits - Very large scale integration - Design and construction - Congresses
رده :
TK
,
7874
,.
J33
,
1988
32. Logic and architecture synthesis for silicon compilers :proceedings of the International Workshop on Logic and Architecture Synthesis for
پدیدآورنده : edited by Gabriعele Saucier, Paul Michael McLellan
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Integrated circuits--Very large scale integration--Design and construc,Silicon compilers--Design and construction--Congresses
رده :
TK
،
7874
،.
I5943
،
1988
33. Logic and architecture synthesis: state-of-the-art and novel approaches: IFIP Workshop on Logic and Architecture Synthesis, 1994
پدیدآورنده : Gabriele Saucier and Anne Mignotte
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Design and construction - Congresses ، Integrated circuits - Very large scale integration,Design and construction - Congresses ، Silicon compilers
رده :
TK
7874
.
I328
1994
34. Logic and architecture synthesis : state- of- the- art and novel approaches: IFIP Workshop on Logic and Architecture Synthesis, Grenoble, France, 1994
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Design and construction-- Congresses,، Silicon compilers-- Design and construction-- Congresses
رده :
TK
7874
.
I3282
1994
35. Methods and materials in microelectronic technology
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Integrated circuits-- Design and construction,Congresses ، Photolithography,Congresses ، Ion beam lithography,Congresses ، X-ray lithography
رده :
TK
7874
.
I5924
1982
36. Microcircuit Engineering 85: proceedings of the International Conference on Mocrolithography, September 23-25, 1985, Rotterdam, The Netherdands
پدیدآورنده : Microcircuit Engineering 58 )5891: Rotterdam, Netherlands(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Design and construction-- Congresses,، Microelectronics-- Congresses
رده :
TK
7874
.
M453
1985
37. Microcircuit Engineering 83: proceedings of the Microcircuit Engineering 83 Conference, held in Cambridge, England, on 25-29- September 1983
پدیدآورنده : Microcircuit Engineering 38 )3891: Cambridge, Cambridgeshire(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Design and construction-- Congresses
رده :
TK
7874
.
M452
1983
38. Microelectronic materials and processes
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Microelectronics- Materials- Congresses,Integrated circuits- Very large scale integration- Design and construction- Congresses
39. Microelectronic materials and processes: )Proceedings of the NATO Advanced Study Institute on Microelectronic Materials and Processes, I1 Ciocco, Castelvecchio Pascoli, Italy, June 30-July 11, 1986(
پدیدآورنده : edited by R.A. Levy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Integrated circuits,Materials - Congresses ، Microelectronics,Very large scale integration - Design and construction - Congresses ، Integrated circuits
رده :
TK
7874
.
N339
1986
40. Microelectronic materials and processes : ]proceedings of the NATO Aadvanced Study Institute on Microelectronic Materials and Processes, Il Ciocco, Castelvecchio Pascoli, Italy, June 30-July 11, 1986[
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Microelectronics-- Materials-- Congresses,، Integrated circuits-- Very large scale integration-- Design and construction-- Congresses
رده :
TK
7874
.
N339
1986